#include "webglk.h"
#include <stdio.h>

void glk_set_hyperlink(glui32 linkval)
{
	glk_stream_buffer_flush();
	printf("{m:'startlink',v:%u},\n",linkval);
}
void glk_request_hyperlink_event(winid_t win)
{
	glk_stream_buffer_flush();
	printf("{m:'readlink',w:%u},\n",win);
}
